81. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
پدیدآورنده : Michael J. Maher )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
3321
82. Advances in computers.
پدیدآورنده : edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Natural language processing.,Natural language processing.,Electronic data processing.,Programming languages (Electronic computers),Time-sharing computer systems.,COMPUTERS-- Bioinformatics.,Electronic data processing.,Programming languages (Electronic computers),Time-sharing computer systems.
رده :
QA76
.
A3eb
vol
.
8
83. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings
پدیدآورنده : Vijay A. Saraswat, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2896
84. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
85. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G., 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
86. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
87. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
88. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
89. Algebraic informatics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ; Semantics ; Congresses. ;
90. Algol
پدیدآورنده : Algol
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، ALGOL )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
A24
I57
91. Algorithm design practice for collegiate programming contests and education /
پدیدآورنده : by Yonghui Wi and Jiande Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms.,Computer programming.,Computer algorithms.,Computer programming.,COMPUTERS / Programming Languages / General,MATHEMATICS / Arithmetic,MATHEMATICS / General
رده :
QA76
.
6
92. Algorithmic language and program development
پدیدآورنده : Bauer, Friedrich Ludwig, 4291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B39
1982
93. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
94. Algorithms :
پدیدآورنده : Fethi Rabhi, Guy Lapalme.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms.,Functional programming languages.,Algorithmes.,Langages de programmation fonctionnels.,ALGORITHMS.,Algorithmus,Algorithmus.,Algoritmen.,Computer algorithms.,COMPUTER PROGRAMS.,Functional programming languages.,Functionele programmering.,FUNCTIONS (MATHEMATICS),Funktionale Programmiersprache,Funktionale Programmierung,Funktionale Programmierung.,PROGRAMMING LANGUAGES.
رده :
QA76
.
9
.
A43
R34
1999
95. Algorithms: a functional approach
پدیدآورنده : Rabhi, Fethi
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer algorithms,، Functional programming languages
رده :
QA
76
.
9
.
A43
.
R34
1999
96. Algorithms: a functional programming approach
پدیدآورنده : Rabhi, Fethi.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer algorithms,، Functional programming languages
رده :
QA
76
.
9
.
A43
R34
1999
97. Algorithms for functional programming /
پدیدآورنده : John David Stone.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms.,Functional programming languages.,Computer algorithms.,Functional programming languages.
رده :
QA76
.
62
98. An Analytical Description of CHILL, the CCITT High Level Language
پدیدآورنده : edited by Paul Branquart, Georges Louis, Pierre Wodon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Science,Computer science.,Programming Languages, Compilers, Interpreters
99. An Attribute grammar for the semantic analysis of ADA
پدیدآورنده : J. Uhl [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
J845
1982
100. An Attribute grammar for the semantic analysis of ADA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
73
.
A35
.
A87
1982